First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
791	Formal Semantics, Lecture 2 B. Partee, MGU, February 22, 2005 p.1 Formal Semantics, Lecture 2 B. Partee, MGU, February 22, 2005 p.2 Add to Reading List Source URL: people.umass.edu Language: English - Date: 2005-02-20 17:15:54 Semantics Formal languages Predicate logic Quantification Lambda calculus Categorial grammar First-order logic Free variables and bound variables Interpretation Logic Mathematical logic Linguistics
792	Children’s Restrictions on the Meanings of Novel Determiners: An Investigation of Conservativity Tim Hunter and Anastasia Conroy University of Maryland 1. Introduction Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2013-08-28 10:43:55 Syntactic categories Quantification Grammar Parts of speech Semantics Determiner Generalized quantifier Conservative force First-order logic Syntax Linguistics Logic
793	Interface Transparency and the Psychosemantics of most Jeffrey Lidz, University of Maryland Paul Pietroski, University of Maryland Tim Hunter, University of Maryland Justin Halberda, Johns Hopkins University Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2013-08-28 10:48:58 Semantics Veracity Metalogic Predicate logic Function Model theory Truth condition First-order logic Truth Logic Philosophy Philosophical logic
794	Quantified Differential Dynamic Logic for Distributed Hybrid Systems? Andr´e Platzer Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA [removed] Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:43 Metalogic Systems theory Symbol Interpretation Dynamical system Structure First-order logic Hybrid system Model theory Logic Mathematical logic
795	Conservativity and learnability of determiners 1 Tim Hunter1 and Jeffrey Lidz2 Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2013-08-28 10:43:58 Syntactic categories Parts of speech Determiner Conservative force Noun phrase Grammatical number First-order logic Pronoun Syntax Linguistics Grammar
796	VIA Cookbook Order Form The Village Improvement Association Cookbook is a wonderful collection of our member favorite recipes and continues to be one of our best fundraisers. First published in 1991, we are now offering Add to Reading List Source URL: imageserv2.team-logic.com Language: English - Date: 2010-01-21 17:45:12 The Cookbook Music industry
797	Ontology Languages and Web Standards Relating Ontology Languages and Web Standards Dieter Fensel Abstract Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2000-11-25 17:17:02 Predicate logic Ontology Model theory Logical syntax Ontology language CycL First-order logic Function Cyc Logic Mathematics Mathematical logic
798	Approximations for Model Construction Aleksandar Zelji´c1 , Christoph M. Wintersteiger2 , and Philipp R¨ ummer1 1 Uppsala University, Sweden Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-07-21 09:34:28 Model theory Interpretation First-order logic Constructible universe Function Floating point Logarithm Mathematics Logic Mathematical logic
799	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
800	DRS: A Set of Conventions for Representing Logical Languages in RDF Drew McDermott January 12, [removed] Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-01-13 13:31:31 Science Semantic Web Rule Language Well-formed formula Notation3 Atomic formula First-order logic Resource Ontology RuleML Semantic Web Logic Computing

UPDATE